ma{-}interface{-}loc($I$;$i$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$fpf{-}dom(IdDeq; $i$; $I$) $\wedge_{b}$ ($\neg_{b}$null(ma{-}interface{-}dom($I$;$i$)))